| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agrobiologia; Embrapa Agropecuária Oeste; Embrapa Algodão; Embrapa Amazônia Oriental; Embrapa Arroz e Feijão; Embrapa Cerrados; Embrapa Mandioca e Fruticultura; Embrapa Meio-Norte; Embrapa Roraima; Embrapa Soja; Embrapa Suínos e Aves; Embrapa Tabuleiros Costeiros; Embrapa Unidades Centrais. MenosEmbrapa Agrobiologia; Embrapa Agropecuária Oeste; Embrapa Algodão; Embrapa Amazônia Oriental; Embrapa Arroz e Feijão; Embrapa Cerrados; Embrapa Mandioca e Fruticultura; Embrapa Meio-Norte; Embrapa Roraima; Embrapa Soja... Mostrar Todas |
|
Data corrente: |
29/09/1997 |
|
Data da última atualização: |
27/10/2006 |
|
Autoria: |
HIGA, R. H. |
|
Título: |
Uso de prolog para executar especificações formais por traços. |
|
Ano de publicação: |
1997 |
|
Fonte/Imprenta: |
Campinas: EMBRAPA-CNPTIA, 1997. |
|
Páginas: |
19 p. |
|
Série: |
(EMBRAPA-CNPTIA. Relatório Técnico, 1). |
|
Idioma: |
Português |
|
Conteúdo: |
A especificação formal de um módulo de software facilita a detecção e eliminação de ambigüidades, incompletudes e inconsistências, tornando sua descrição clara e precisa. O objetivo deste trabalho é apresentar a técnica de especificação formal de módulos de software por traços (Bartussek & Parnas, 1986) e mostrar como esta pode tornar-se executável em computadores, utilizando a linguagem de programação Prolog. Exemplos e um protótipo de ferramenta, em que tal processo poderia ser utilizado são apresentados e discutidos, bem como os passos a serem seguidos na seqüência deste trabalho. |
|
Palavras-Chave: |
Brasil; Computer; Engenharia de software; Engenharia de software formal specification; Engenharia de sofware; Engenharia do software; Especificação; Especificação formal; Especificação formal de software; Especificacao formal de sofware; Especificação por traços; Formal especification; Formal specification; Programa; Programme; PROLOC; Prolog; Software; software engineering; Sofware engineering; Trace; trace specification; Traces; Traço; Traços. |
|
Thesagro: |
Computador; Engenharia; Informática; Programa de Computador. |
|
Thesaurus Nal: |
computer science; computer software; engineering. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 02043nam a2200517 a 4500
001 1204083
005 2006-10-27
008 1997 bl uuuu u0uu1 u #d
100 1 $aHIGA, R. H.
245 $aUso de prolog para executar especificações formais por traços.
260 $aCampinas: EMBRAPA-CNPTIA$c1997
300 $a19 p.
490 $a(EMBRAPA-CNPTIA. Relatório Técnico, 1).
520 $aA especificação formal de um módulo de software facilita a detecção e eliminação de ambigüidades, incompletudes e inconsistências, tornando sua descrição clara e precisa. O objetivo deste trabalho é apresentar a técnica de especificação formal de módulos de software por traços (Bartussek & Parnas, 1986) e mostrar como esta pode tornar-se executável em computadores, utilizando a linguagem de programação Prolog. Exemplos e um protótipo de ferramenta, em que tal processo poderia ser utilizado são apresentados e discutidos, bem como os passos a serem seguidos na seqüência deste trabalho.
650 $acomputer science
650 $acomputer software
650 $aengineering
650 $aComputador
650 $aEngenharia
650 $aInformática
650 $aPrograma de Computador
653 $aBrasil
653 $aComputer
653 $aEngenharia de software
653 $aEngenharia de software formal specification
653 $aEngenharia de sofware
653 $aEngenharia do software
653 $aEspecificação
653 $aEspecificação formal
653 $aEspecificação formal de software
653 $aEspecificacao formal de sofware
653 $aEspecificação por traços
653 $aFormal especification
653 $aFormal specification
653 $aPrograma
653 $aProgramme
653 $aPROLOC
653 $aProlog
653 $aSoftware
653 $asoftware engineering
653 $aSofware engineering
653 $aTrace
653 $atrace specification
653 $aTraces
653 $aTraço
653 $aTraços
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Arroz e Feijão (CNPAF) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Suínos e Aves. |
|
Data corrente: |
31/05/2019 |
|
Data da última atualização: |
31/05/2019 |
|
Tipo da produção científica: |
Comunicado Técnico/Recomendações Técnicas |
|
Autoria: |
TAVERNARI, F. de C.; SORDI, C.; RIGON, F.; PEDON, V.; BENDER, M. C.; WICKERT, A. G.; DRECHMER, N.; ALBINO, L. F. T.; CALDERANO, A. A.; CRUZ, S. C. S.; PETROLLI, T. G.; SUREK, D.; MAZZUCO, H.; BERTECHNI, A. G.; BOIAGO, M. M.; PAIANO, D. |
|
Afiliação: |
FERNANDO DE CASTRO TAVERNARI, CNPSA; CARINA SORDI, UDESC/Chapecó; FERNANDA RIGON, UDESC/Chapecó; VANESSA PEDON, UCEFF; MAIARA CLASSER BENDER, FACC; ANA ANA GRIZA WICKERT, IFC/Concórdia; NATACHA DRECHMER, FACC; LUIZ FERNANDO TEIXEIRA ALBINO, UFV; ARELE ARLINDO CALDERANO, UFV; SANDRA CAROLINE SALGUERO CRUZ, UFV; TIAGO GOULART PETROLLI, UNOESC/Xanxerê; DIEGO SUREK, CNPSA; HELENICE MAZZUCO, CNPSA; GILBERTO ANTONIO BERTECHNI, UFLA; MARCEL MANENTE BOIAGO, UDESC/Chapecó; DIOVANI PAIANO, UDESC/Chapecó. |
|
Título: |
Digestibilidade de cálcio de fontes inorgânicas para galinhas poedeiras. |
|
Ano de publicação: |
2019 |
|
Fonte/Imprenta: |
Concórdia: Embrapa Suínos e Aves, 2019. |
|
Páginas: |
8 p. |
|
Série: |
(Embrapa Suínos e Aves. Comunicado Técnico, 556). |
|
Idioma: |
Português |
|
Palavras-Chave: |
Desempenho animal. |
|
Thesagro: |
Nutrição Animal; Poedeira Comercial; Produção Animal; Ração. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/197996/1/final9012.pdf
|
|
Marc: |
LEADER 01020nam a2200361 a 4500
001 2109539
005 2019-05-31
008 2019 bl uuuu u0uu1 u #d
100 1 $aTAVERNARI, F. de C.
245 $aDigestibilidade de cálcio de fontes inorgânicas para galinhas poedeiras.$h[electronic resource]
260 $aConcórdia: Embrapa Suínos e Aves$c2019
300 $a8 p.
490 $a(Embrapa Suínos e Aves. Comunicado Técnico, 556).
650 $aNutrição Animal
650 $aPoedeira Comercial
650 $aProdução Animal
650 $aRação
653 $aDesempenho animal
700 1 $aSORDI, C.
700 1 $aRIGON, F.
700 1 $aPEDON, V.
700 1 $aBENDER, M. C.
700 1 $aWICKERT, A. G.
700 1 $aDRECHMER, N.
700 1 $aALBINO, L. F. T.
700 1 $aCALDERANO, A. A.
700 1 $aCRUZ, S. C. S.
700 1 $aPETROLLI, T. G.
700 1 $aSUREK, D.
700 1 $aMAZZUCO, H.
700 1 $aBERTECHNI, A. G.
700 1 $aBOIAGO, M. M.
700 1 $aPAIANO, D.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Suínos e Aves (CNPSA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Expressão de busca inválida. Verifique!!! |
|
|
